Класс шаблонов (<Х>)

9.20 Класс шаблонов (<Х>) - набор всех <Х>¢ов, удовлетворяющих типу шаблона <Х>, то есть набор <Х>¢ов, которые являются экземплярами шаблона <Х>. <Х> может быть чем-либо, что имеет тип (см. 9.7).

Каждый шаблон определяет единственный класс шаблона, так что можно ссылаться на экземпляры шаблона как на экземпляры класса-шаблона.

Понятие класса используется для указания родовой классификации <Х>¢ов. Класс шаблона является более ограничивающим понятием, если рассматривать те члены класса шаблона, которые реализуются из шаблона (или из его подтипов), то есть те <Х>, которые удовлетворяют типу шаблона <Х>.

Примечание - Задавая тип шаблона, можно сократить утверждение, что «класс шаблонов, связанный с шаблоном А, является подклассом класса шаблонов, связанного с шаблоном В» до «шаблон А является подклассом шаблона В» или «шаблон А является подтипом шаблона В».

Рисунок 1 - Взаимоотношения между шаблонами, реализациями и экземплярами

Источник: ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа